|
9259c48272
|
[Projects] Delete bookmarks when archiving projects
|
2018-08-18 10:50:55 +02:00 |
|
|
1f08b83cf8
|
[Projects] Fix predicates to check for existing projects
|
2018-08-18 10:49:59 +02:00 |
|
|
2bae031158
|
[Projects] Add another newline
|
2018-08-18 10:49:30 +02:00 |
|
|
e1a05acdec
|
[Projects] Cosmetics
|
2018-08-18 10:16:21 +02:00 |
|
|
45d8f2c79e
|
[Projects] Make new projects into git repositories whenever possible
|
2018-08-18 10:16:15 +02:00 |
|
|
583d2e679c
|
[Projects] Use long names when creating bookmarks for new projects
When archiving projects, the bookmark is not deleted automatically anymore; will
fix this later.
|
2018-08-18 10:16:09 +02:00 |
|
|
93c6bb2a81
|
[Projects] Fix typo
|
2018-08-05 16:35:44 +02:00 |
|
|
2c0b0db45e
|
[Projects] Simple projectile integration
|
2018-08-05 16:29:34 +02:00 |
|
|
141ed2c4bc
|
[Projects] Fix typo in function call
|
2018-08-05 16:29:03 +02:00 |
|
|
843714c39b
|
[Projects] Simplify generation of .projectile file
|
2018-08-05 16:26:01 +02:00 |
|
|
b64c830ac5
|
[Projects] Simplify directory name concatenation
|
2018-08-05 16:23:37 +02:00 |
|
|
3f828b64fc
|
[Projects] Update todo list
|
2018-08-05 16:23:26 +02:00 |
|
|
6da48163df
|
[Projects] Add simple project management library
|
2018-08-05 16:19:52 +02:00 |
|